Well-formed Default Unification in Non-deterministic Multiple Inheritance Hierarchies (short paper)
نویسندگان
چکیده
Default unification represents a fundamental extension of the common unification operation, where even in case of inconsistency between the information to be merged, there will always be a result. As default unification is no longer a commutative operation, a distinction is made between the argument containing default information, the background, and the other argument consisting of non-default information, the cover. An elegant point of departure to formalizing default unification has been delivered by Carpenter’s credulous default unification (CDU) (Carpenter, 1993):
منابع مشابه
Representing a System of Lexical Types Using Default Unification
Default inheritance is a useful tool for encoding linguistic generalisations that have exceptions. In this paper we show how the use of an order independent typed default unification operation can provide non-redundant highly structured and concise representation to specify a network of lexical types, that encodes linguistic information about verbal subcategorisation. The system of lexical type...
متن کاملA Practical Approach to Multiple Default Inheritance for Unification-Based Lexicons
This paper describes a unification-based lexicon system for NLP applications that incorporates mechanisms for multiple default inheritance. Such systems are intractable in the general case-the approach adopted here places a number of restrictions on the inheritance hierarchy in order to remove some of the sources of complexity while retaining more desirable properties. Implications of the desig...
متن کاملThe Use of Default Unification in a System of Lexical Types
In this paper we describe the encoding of a Unification-Based Generalised Categorial Grammar for English, in terms of a default inheritance network of types, implemented with YADU, which is an order independent default unification operation on typed feature structures. We then propose to use this framework to encode a Universal Grammar (UG) and associated parameters, following the Principles an...
متن کاملLogic as Information Compression by Multiple Alignment, Unification and Search
This article considers the proposal that logic may usefully be understood as information compression by multiple alignment, with ‘unification’ and ‘search’, where ‘multiple alignment’ has a meaning which is close to its meaning in bio-informatics, ‘unification’ means a simple merging of matching patterns, and ‘search’ has its normal meaning in the context of computing. A motivation for developi...
متن کاملNonmonotonic orts for Feature Structures
There have been many recent attempts to incorporate defaults into unification-based grammar formalisms. What these attempts have in common is that they all lose one of the most desirable properties of feature systems: namely, presentation order independence. This paper describes a method of dealing with defaults that retains order independence. The method works by making a strong distinction be...
متن کامل